home *** CD-ROM | disk | FTP | other *** search
- : 'Check if make install went allright.'
-
- bint="$1"
- bdir="$2"
- man1dir="$3"
- man5dir="$4"
- libdir="$5"
-
- errors="no"
-
- if test ! -r $bdir/b
- then
- echo "*** Failed to install b in $bdir"
- errors="yes"
- fi
-
- for f in bed $bint Bed_help
- do
- if test ! -r $libdir/$f
- then
- echo "*** Failed to install $f in $libdir"
- errors="yes"
- fi
- done
-
- if test ! -r $man1dir/b.1
- then
- echo "*** Failed to install b.1 manual in $man1dir"
- errors="yes"
- fi
-
- if test ! -r $man5dir/bterminal.5
- then
- echo "*** Failed to install bterminal.5 manual in $man5dir"
- errors="yes"
- fi
-
- case $errors in
- yes)
- exit 1
- ;;
- no)
- echo "The B system is installed."
- echo "You can cleanup with 'make clean'."
- exit 0
- ;;
- esac
-